// hello.c

#include <syscall.h>

int
main (void)
{
  exit (0);
  /* not reached */
}
